-- An empty array literal is fine!

def main : []i32 = []
